double float - Englisch Synonyme Wörterbuch